A Proof-Theoretic Bound Extraction Theorem for CAT (κ) -Spaces
نویسندگان
چکیده
Starting in 2005, general logical metatheorems have been developed that guarantee the extractability of uniform effective bounds from large classes of proofs of theorems that involve abstract metric structures X. In this paper we adapt this to the class of CAT(κ)-spaces X for κ > 0 and establish a new metatheorem that explains specific bound extractions that recently have been achieved in this context as instances of a general logical phenomenon.
منابع مشابه
A Sphere Theorem for 2-dimensional Cat(1)-spaces
The problems of sphere theorems in Riemannian geometry have yielded the beautiful results and the fruitful techniques for the study of global geometry (cf. [22]). The main purpose of this paper is to study sphere theorems for CAT(1)-spaces: When are CAT(1)-spaces homeomorphic to the sphere? The notion of CAT(κ)-spaces is introduced by Gromov ([11]) based on Alexandrov’s original notion, i.e., s...
متن کاملA quadratic rate of asymptotic regularity for CAT(0)-spaces
In this paper we obtain a quadratic bound on the rate of asymptotic regularity for the Krasnoselski-Mann iterations of nonexpansive mappings in CAT(0)-spaces, whereas previous results guarantee only exponential bounds. The method we use is to extend to the more general setting of uniformly convex hyperbolic spaces a quantitative version of a strengthening of Groetsch’s theorem obtained by Kohle...
متن کاملعدد تناوبی گرافها
In 2015, Alishahi and Hajiabolhassan introduced the altermatic number of graphs as a lower bound for the chromatic number of them. Their proof is based on the Tucker lemma, a combinatorial counterpart of the Borsuk-Ulam theorem, which is a well-known result in topological combinatorics. In this paper, we present a combinatorial proof for the Alishahi-Hajiabolhassan theorem.
متن کاملAlexandrov meets Lott–Villani–Sturm
Here I show compatibility of two definition of generalized curvature bounds — the lower bound for sectional curvature in the sense of Alexandrov and lower bound for Ricci curvature in the sense of Lott–Villani– Sturm. Introduction Let me denote by CD[m, κ] the class of metric-measure spaces which satisfy a weak curvature-dimension condition for dimension m and curvature κ (see preliminaries). B...
متن کاملAn Inner Model Proof of the Strong Partition Property for δ21
Assuming V = L(R) +AD, using methods from inner model theory, we give a new proof of the strong partition property for δ ̃21. The result was originally proved in [3]. The main theorem of this note is the following special case of Theorem 1.1 of [3] originally due to KechrisKleinberg-Moschovakis-Woodin. Theorem 0.1 Assume V = L(R) +AD. Then δ ̃1 has the strong partition property, i.e., δ ̃1 → (δ ̃1)...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Studia Logica
دوره 105 شماره
صفحات -
تاریخ انتشار 2017